Chinese translation for "huang zhuo"

黄焯

Related Translations:

zhuo yunpeng:  周云鹏

huang manzhong:  黄满忠

huang xianwan:  黄贤媛

cheng huang:  程煌

shaoquan huang:  黄少泉

huang ying:  黄英

huang guliu:  黄谷柳

huang jianguo:  黄建国

zhilong huang:  黄志龙

huang chuanhui:  黄传会

Example Sentences:

1.

Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems 命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。

Similar Words：

"huang zhongmin" Chinese translation, "huang zhongquan" Chinese translation, "huang zhongying" Chinese translation, "huang zhu" Chinese translation, "huang zhuliang" Chinese translation, "huang zhuqia" Chinese translation, "huang zi" Chinese translation, "huang zicheng" Chinese translation, "huang zijun" Chinese translation, "huang zilian" Chinese translation